French translation for "static program analysis"

analyse statique de programmes

Example Sentences:

1.

Saxe is known for his highly-cited publications on automated theorem proving,circuit complexity,retiming in synchronous circuit design,computer networks, and static program analysis. Saxe est connu pour ses contribution en démonstration automatique de théorèmes, complexité des circuits, conception de circuits synchrones et retiming, réseaux informatiques, et static program analysis.

Similar Words：

"static major" French translation, "static mixer" French translation, "static nature" French translation, "static pressure" French translation, "static prevails" French translation, "static random-access memory" French translation, "static read only memory" French translation, "static shock" French translation, "static single assignment form" French translation